-
1 logical operations
логические операции
С какой-то степенью точности можно сказать, что математическая логика занимается изучением правил вывода определенных положений без конкретизации самих этих положений (безотносительно к их содержанию), примерно так, как геометрия связана с наукой о пространстве. Одно из основных понятий математической логики — высказывание. Не стремясь к излишней математической строгости, можно сказать, что высказывание — это выражение, относительно которого можно сделать вывод o его истинности или ложности. Например, «Ах!» — это не высказывание, а выражение — «Иван Иванович Иванов ~ телевизор» — высказывание, так как можно утверждать — оно ложно. Знак ~ заменяет здесь слово «эквивалент» и связывает два имени: «Иван Иванович Иванов» и «телевизор». Каждое из этих имен высказыванием не является, тогда как все выражение — высказывание. Над высказываниями можно производить определенные операции. Например, если заданы два высказывания, обозначенные логическими переменными A и B, то можно составить новое высказывание: «A и B». При этом связка «и» заменяется символом ?; тогда запишем «A ? B». Можно также составить выражение «A или B». Связка «или» обозначается с помощью символа v. Можно представить себе высказывание «из A следует B»: «A ==> B». Наконец, можно составить отрицание данного высказывания: «не A». Для операции отрицания используют целый ряд обозначений. ?? v? Например: ? А, ~А, ?. Придадим каждому из высказываний определенное значение истинности. Например, «А» = И, а «В» = Л, т.е. «А — истинно», а «В — ложно», тогда можно рассмотреть истинность перечисленных выше высказываний. Начнем с самого простого — с отрицания: если А — истинно, то «не А — ложно». Наоборот, если «А — ложно», то ?— истинно. Эти очевидные факты могут быть представлены в виде таблицы. Аналогично можно рассмотреть и другие операции. Можно рассмотреть еще одну Л.о. — «А тогда, и только тогда, когда В». Ее можно записать: (А <=> В) ? (А <=> В) ? (В ?А) Рассмотренная выше логика допускает только два значения истинности для высказывания — истинно и ложно, причем высказывание не может быть истинным и ложным одновременно. Поэтому она называется логикой с исключенным третьим. Важную аналогию можно установить, заменив условное обозначение «И» на единицу, а «Л» на нуль. Тогда окажется, что логика аналогична системе действий над двоичными числами, на основе которой работают все компьютеры.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > logical operations
-
2 logic
аргументы
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
логика
логические схемы
Схемные компоненты, реализующие различные логические операции булевой алгебры.
[Л.М. Невдяев. Телекоммуникационные технологии. Англо-русский толковый словарь-справочник. Под редакцией Ю.М. Горностаева. Москва, 2002]Тематики
- Булева алгебра, элементы цифровой техники
Синонимы
EN
логические схемы
логика
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > logic
-
3 logical variables
логические переменные
Знаки и формулы, которые могут принимать различные значения в зависимости от содержания обозначаемых ими высказываний. Подробнее см. Логические операции.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > logical variables
-
4 logical operations
логические функции; логические операции -
5 computer
большая ЭВМ
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
вычислительная машина
ВМ
Совокупность технических средств, создающая возможность проведения обработки информации и получение результата в необходимой форме.
Примечание
Как правило, в состав ВМ входит и системное программное обеспечение.
[ ГОСТ 15971-90]Тематики
Синонимы
- ВМ
EN
компьютер
Техническое средство, способное выполнять множественные арифметические и логические операции на основе заданной программы и данных.
Примечание
Термин компьютер по смыслу близок к термину электронно-вычислительная машина (ЭВМ).
[ ГОСТ Р 52653-2006]Тематики
EN
периферийная ЭВМ
В многомашинном (многопользовательском) комплексе – мини-ЭВМ, рабочая станция или терминальная ЭВМ, подключенная к центральной ЭВМ и выполняющая вспомогательные функции.
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
подчиненная ЭВМ
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
7. Вычислительная машина
ВМ
Computer
Совокупность технических средств, создающая возможность проведения обработки информации и получение результата в необходимой форме.
Примечание. Как правило, в состав ВМ входит и системное программное обеспечение
Источник: ГОСТ 15971-90: Системы обработки информации. Термины и определения оригинал документа
3.9 компьютер (computer): Программируемое функциональное устройство, которое состоит из одного или нескольких процессоров и периферийного оборудования, управляется хранящимися внутри программами и способно выполнять основные вычисления, включая многочисленные арифметические или логические операции без вмешательства в этот процесс человека.
[ИСО 2382-1]
Примечание - Компьютер может быть автономным или состоять из нескольких взаимосвязанных устройств.
Источник: ГОСТ Р МЭК 60880-2010: Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А оригинал документа
Англо-русский словарь нормативно-технической терминологии > computer
-
6 logical operations
Программирование: логические операции, логические функции -
7 Venn diagram
диаграмма Венна (иллюстрирующая логические операции и операции булевой алгебры - Boolean algebra)Англо-русский словарь нефтегазовой промышленности > Venn diagram
-
8 unité de ordinateur analogique
блок аналоговой вычислительной машины
Часть аналоговой вычислительной машины, имеющая определенное функциональное назначение.
Примечания
1. Блоком аналоговой вычислительной машины обычно называют конструктивные узлы, используемые либо для выполнения вычислительной операции, либо как часть системы питания, управления, контроля или регистрации.
2. Блоки аналоговой вычислительной машины, выполняющие вычислительные или логические операции, иногда называют «функциональными блоками» или «функциональными элементами».
[Сборник рекомендуемых терминов. Выпуск 84. Аналоговая вычислительная техника. Академия наук СССР. Комитет научно-технической терминологии. 1972 г.]Тематики
- аналоговая и аналого-цифровая выч.техн.
Обобщающие термины
- основные блоки, элементы и узлы
EN
DE
FR
Франко-русский словарь нормативно-технической терминологии > unité de ordinateur analogique
-
9 Analogrechnereinheit
блок аналоговой вычислительной машины
Часть аналоговой вычислительной машины, имеющая определенное функциональное назначение.
Примечания
1. Блоком аналоговой вычислительной машины обычно называют конструктивные узлы, используемые либо для выполнения вычислительной операции, либо как часть системы питания, управления, контроля или регистрации.
2. Блоки аналоговой вычислительной машины, выполняющие вычислительные или логические операции, иногда называют «функциональными блоками» или «функциональными элементами».
[Сборник рекомендуемых терминов. Выпуск 84. Аналоговая вычислительная техника. Академия наук СССР. Комитет научно-технической терминологии. 1972 г.]Тематики
- аналоговая и аналого-цифровая выч.техн.
Обобщающие термины
- основные блоки, элементы и узлы
EN
DE
FR
Немецко-русский словарь нормативно-технической терминологии > Analogrechnereinheit
-
10 analog(ue) computer unit
блок аналоговой вычислительной машины
Часть аналоговой вычислительной машины, имеющая определенное функциональное назначение.
Примечания
1. Блоком аналоговой вычислительной машины обычно называют конструктивные узлы, используемые либо для выполнения вычислительной операции, либо как часть системы питания, управления, контроля или регистрации.
2. Блоки аналоговой вычислительной машины, выполняющие вычислительные или логические операции, иногда называют «функциональными блоками» или «функциональными элементами».
[Сборник рекомендуемых терминов. Выпуск 84. Аналоговая вычислительная техника. Академия наук СССР. Комитет научно-технической терминологии. 1972 г.]Тематики
- аналоговая и аналого-цифровая выч.техн.
Обобщающие термины
- основные блоки, элементы и узлы
EN
DE
FR
Англо-русский словарь нормативно-технической терминологии > analog(ue) computer unit
-
11 Venn diagram
диаграмма Венна
Иллюстрирующая логические операции и операции булевой алгебры - Boolean algebra
[ http://slovarionline.ru/anglo_russkiy_slovar_neftegazovoy_promyishlennosti/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > Venn diagram
-
12 logic operations at the molecular level
Универсальный англо-русский словарь > logic operations at the molecular level
-
13 logical computer
1) Вычислительная техника: вычислительная машина для решения логических задач, логическая вычислительная машина, логическая машина2) Космонавтика: вычислительная машина, выполняющая логические операции3) Автоматика: ЭВМ для решения логических задач, логическая ЭВМ -
14 ALU
* * *(Arithmetic and Logic Unit) компонент главного процессора выполняющий вычисления и логические операции [комп.] -
15 Arithmetic and Logic Unit
компонент главного процессора выполняющий вычисления и логические операции [комп.] -
16 logic electromechanical analog
English-Russian aviation meteorology dictionary > logic electromechanical analog
-
17 logic circuit
логическая схема, логическая ИСАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logic circuit
-
18 multivalued
1) виды логики - например, нечёткая логика (fuzzy logic), троичная логика (ternary logic), в которых определены логические операции над логическими переменными, принимающими значения не только "истина" и "ложь"2) то, что может принимать много значенийАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > multivalued
-
19 operator precedence
в программировании - правила предшествования, определяющие последовательность вычисления арифметических и/или логических выражений. Обычно в первую очередь вычисляются выражения внутри круглых скобок, умножение и деление выполняются раньше сложения и вычитания, затем выполняются операторы отношений (,, =,=), логические операции AND и OR и оператор присваивания. Операторы с одинаковым приоритетом выполняются слева направо. Иногда говорят о низком (low precedence) и высоком (high precedence) старшинстве операций.Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > operator precedence
-
20 proposition
1) утверждение, высказывание, суждениепод высказыванием в обычной логике понимается утверждение или повествовательное предложение, относительно которого можно сказать, истинно оно или ложно (т. е. утверждение о истинности или ложности высказывания должно иметь смысл), при этом оно не может быть и истинным, и ложным одновременно. Высказывания называются простыми (simple proposition), если они не содержат связок, и сложными (compound proposition) в противном случае. Над высказываниями могут производиться логические операции.Syn:2) теорема3) предложение, план, проект4) глаг. предлагатьАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > proposition
- 1
- 2
См. также в других словарях:
ЛОГИЧЕСКИЕ ОПЕРАЦИИ — логич. операторы, логич. связки, функции, преобразующие выражения логич. исчислений (формальных логич. систем); подразделяются на пропозициональные (сен тенциональные) связки, с помощью которых образуются выражения логики высказываний, и… … Философская энциклопедия
Логические операции — логические связки, логические операторы, функции, преобразующие высказывания или пропозициональные формы (т. е. выражения логики предикатов (См. Логика предикатов), содержащие переменные (См. Переменная) и обращающиеся в высказывания при… … Большая советская энциклопедия
Логические операции — [logical operations]. С какой то степенью точности можно сказать, что математическая логика занимается изучением правил вывода определенных положений без конкретизации самих этих положений (безотносительно к их содержанию), примерно так, как… … Экономико-математический словарь
логические операции — С какой то степенью точности можно сказать, что математическая логика занимается изучением правил вывода определенных положений без конкретизации самих этих положений (безотносительно к их содержанию), примерно так, как геометрия связана с наукой … Справочник технического переводчика
логические операции — операции, посредством которых из простых высказываний образуются сложные, из простых тер минов сложные, из высказываний термины, из терминов высказывания и т. д. К Л. о., позволяющим из одних высказываний получать другие высказывания, относятся… … Словарь терминов логики
Логические операции — В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и … Википедия
Логические операции — операции, выполняемые в соответствии с правилами булевой алгебры. К ним относят операции: отрицания, логическое «и», логическое «или» и тождество (эквивалентность). На этих логических операциях основана работа вычислительных машин … Начала современного естествознания
Логические элементы — Логические элементы устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого «1» и низкого «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… … Википедия
Логические переменные — [logical variables] знаки и формулы, которые могут принимать различные значения в зависимости от содержания обозначаемых ими высказываний. Подробнее см. Логические операции … Экономико-математический словарь
логические переменные — Знаки и формулы, которые могут принимать различные значения в зависимости от содержания обозначаемых ими высказываний. Подробнее см. Логические операции. [http://slovar lopatnikov.ru/] Тематики экономика EN logical variables … Справочник технического переводчика
Логические связки — В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и … Википедия